l-ordered(T;x,y.R(x;y);L) == x, y:T. x before y  L  R(x;y) 

latex

---

clarification:

l-ordered(T;x,y.R(x;y);L) == x:T, y:T. x before y  L  T  R(x;y) 

latex

Definitions	x:A. B(x), P  Q, x before y  l
FDL editor aliases	l-ordered